Assumptions: finitely complete, self-dual
Conclusions: finitely cocomplete
Reason: This holds by self-duality.